Hierarchical modeling and analysis of embedded systems
نویسندگان
چکیده
This paper describes the modeling language CHARON for modular design of interacting hybrid systems. The language allows specification of architectural as well as behavioral hierarchy and discrete as well as continuous activities. The modular structure of the language is not merely syntactic, but is exploited by analysis tools and is supported by a formal semantics with an accompanying compositional theory of refinement. We illustrate the benefits of CHARON in the design of embedded control software using examples from automated highways concerning vehicle coordination.
منابع مشابه
Domain Polymorph Components For Explicit Opaque Borders in Hierarchical Heterogeneous Models
Hierarchical heterogeneous modeling is an approach for modeling heterogeneous embedded systems. It is a solution to manage the heterogeneity problem of the embedded systems and it helps to reduce the complexity of embedded systems modeling. However, the borders between hierarchical levels are opaque. Domain polymorph components, which is another approach to heterogeneity, can automatically adap...
متن کاملHierarchical Facility Location and Hub Network Problems: A literature review
In this paper, a complete review of published researches about hierarchical facility location and hub network problems is presented. Hierarchical network is a system where facilities with different service levels interact in a top-down way or vice versa. In Hierarchical systems, service levels are composed of different facilities. Published papers from (1970) to (2015) have been studied and a c...
متن کاملImproved Turbine Engine Hierarchical Modeling and Simulation Based on Engine Fuel Control System
Aircraft engines constitute a complex system, requiring adequate mon-itoring to ensure flight safety and timely maintenance. The best way to achieve this, is modeling the engine. Therefore, in this paper, a suitable mathematical model from engine controller design point of view, for a specific aero turbine engine is proposed by the aid of MATLAB/Simulink software. The model is capable of reduc...
متن کاملProcess Algebraic Approach to the Schedulability Analysis and Workload Abstraction of Hierarchical Real-Time Systems
Real-time embedded systems have increased in complexity. As microprocessors become more powerful, the software complexity of real-time embedded systems has increased steadily. The requirements for increased functionality and adaptability make the development of real-time embedded software complex and errorprone. Component-based design has been widely accepted as a compositional approach to faci...
متن کاملModeling of the Capacitated Single Allocation Hub Location Problem with a Hierarchical Approch (TECHNICAL NOTE)
The hierarchical hub covering facility location problems are applied to distribution systems, transportation, waste disposal, treatment services, emergency services and remote communication. The problems attempt to determine the location of service providers' facilities at different levels and specify their linking directions in order to reduce costs and to establish an appropriate condition in...
متن کاملSystem Dynamics Modeling in Entrepreneurship Research: A Review of the Literature
System dynamics is a strategic approach for modeling complex systems and analyzing their behavior. Dynamic behavior in entrepreneurial system can be modeled using System Dynamics Approach and dynamic hypotheses about the system`s behavior can be proposed and tested using simulation and computer aided tools. However, as the review of literature shows, studies which link system dynamics modeling ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Proceedings of the IEEE
دوره 91 شماره
صفحات -
تاریخ انتشار 2003